void portal(Player @player, Portal @portal) {
player.changeMap(100000201, "out02");
}